Thinking in Hoses and Wires, Not Bolted Gears (Protocol-Driven Development)
github.com·8h·
Discuss: Hacker News
🌐Protocol Synthesis
Toward a Trustworthy Optimization Modeling Agent via Verifiable Synthetic Data Generation
arxiv.org·18h
🎯Performance Proofs
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·2d
⚗️Algebraic Coding
Build a Mini-FastAPI from Scratch: Learn ASGI & Routing Internals
dev.to·6h·
Discuss: DEV
⚡gRPC
Sandro talks RTC Security with Safety Detectives
enablesecurity.com·22h
📞WebRTC
(BT) Diversity from (LC) Diversity
golem.ph.utexas.edu·1d
🧮Kolmogorov Complexity
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·1d·
Discuss: www.blogger.com
🌳Persistent Data Structures
I use this simple roleplay trick to boost my learning with ChatGPT, Gemini or any other AI, and you can too
techradar.com·8h
📐Proof Assistants
An easy-to-implement, arena-friendly hash map
nullprogram.com·53m·
Discuss: Lobsters
🔐Hash Functions
Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com·1d
🔬Refinement Types
Embracing the Model Context Protocol in practice: An engineering deep-dive
xpander.ai·1d·
Discuss: Hacker News
🔌Interface Evolution
How To Solve Every Programming Problem
blog.codeminer42.com·3h
📐Interval Arithmetic
Why Computer Science Is No Good, Redux
cacm.acm.org·1d
🎯Performance Proofs
A New Concurrent ML in Guile Scheme
wingolog.org·1d·
Discuss: Hacker News
🔄Lens Laws
Burp Suite Cheatsheet
blackhillsinfosec.com·7h
🛣️BGP Hijacking
Context Engineering — A Comprehensive Hands-On Tutorial with DSPy
towardsdatascience.com·18h
✨Effect Handlers
GPT-OSS 120B Writes a Lisp in Go Fast
elite-ai-assisted-coding.dev·5h·
Discuss: Hacker News
🤖Lisp Machines
How to build realistic AI companions
emotionmachine.ai·20h·
Discuss: Hacker News
🎧Learned Audio
AI Plays Risk – Lessons from a silly benchmark
andreasthinks.me·7h·
Discuss: Hacker News
🔲Cellular Automata
The Amaranth hardware description language
amaranth-lang.org·18h·
Discuss: Hacker News
🔍FPGA Verification